Local abstraction―refinement for the μ-calculusFECHER, Harald; SHOHAM, Sharon.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 4, pp 289-306, issn 1433-2779, 18 p.Article

Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checkingSEBASTIANI, Roberto; TONETTA, Stefano; VARDI, Moshe Y et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 4, pp 319-335, issn 1433-2779, 17 p.Article

Using model checking to identify errors in intrusion detection signaturesSCHMERL, Sebastian; VOGEL, Michael; KÖNIG, Hartmut et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 1, pp 89-106, issn 1433-2779, 18 p.Article

Formal methods for security in the Xenon hypervisorFREITAS, Leo; MCDERMOTT, John.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 5, pp 463-489, issn 1433-2779, 27 p.Article

SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalitiesLAVIRON, Vincent; LOGOZZO, Francesco.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 6, pp 585-601, issn 1433-2779, 17 p.Article

A class library for implementing, testing, and debugging concurrent programsCARVER, Richard H; YU LEI.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 1, pp 69-88, issn 1433-2779, 20 p.Article

A framework for robust active super tier systemsDOLEV, Shlomi; GERSTEN, Ori.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 1, pp 53-67, issn 1433-2779, 15 p.Article

Exploiting resolution proofs to speed up LTL vacuity detection for BMCSIMMONDS, Jocelyn; DAVIES, Jessica; GURFINKEL, Arie et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 5, pp 319-335, issn 1433-2779, 17 p.Article

Oris: a tool for modeling, verification and evaluation of real-time systemsBUCCI, Giacomo; CARNEVALI, Laura; RIDI, Lorenzo et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 5, pp 391-403, issn 1433-2779, 13 p.Article

An embeddable virtual machine for state space generationWEBER, Michael.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 2, pp 97-111, issn 1433-2779, 15 p.Conference Paper

Combining predicate and numeric abstraction for software model checkingGURFINKEL, Arie; CHAKI, Sagar.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 6, pp 409-427, issn 1433-2779, 19 p.Conference Paper

The worst-case execution time tool challenge 2006LILI TAN.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 2, pp 133-152, issn 1433-2779, 20 p.Article

Directed model checking with distance-preserving abstractionsDRÄGER, Klaus; FINKBEINER, Bernd; PODELSKI, Andreas et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 1, pp 27-37, issn 1433-2779, 11 p.Article

Partial-order reduction for general state exploring algorithmsBOSNACKI, Dragan; LEUE, Stefan; LLUCH LAFUENTE, Alberto et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 1, pp 39-51, issn 1433-2779, 13 p.Article

An automated testing experiment for layered embedded C codeCHETALI, Boutheina; NGUYEN, Quang-Huy.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 3, pp 175-185, issn 1433-2779, 11 p.Article

An approach for estimating the time needed to perform code changes in business applicationsCHAN, Brian; KING CHUN FOO; MARKS, Lionel et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 6, pp 503-515, issn 1433-2779, 13 p.Conference Paper

GenUTest: a unit test and mock aspect generation toolPASTERNAK, Benny; TYSZBEROWICZ, Shmuel; YEHUDAI, Amiram et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 4, pp 273-290, issn 1433-2779, 18 p.Conference Paper

The RE-UWA approach to recover user centered conceptual models from Web applicationsBERNARDI, Mario Luca; DI LUCCA, Giuseppe Antonio; DISTANTE, Damiano et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 6, pp 485-501, issn 1433-2779, 17 p.Conference Paper

PHAVer : algorithmic verification of hybrid systems past HyTechFREHSE, Goran.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 3, pp 263-279, issn 1433-2779, 17 p.Article

Modeling and proving functional completeness in formal verification of counting headsKINDER, Sebastian; DRECHSLER, Rolf.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 6, pp 521-534, issn 1433-2779, 14 p.Article

Introduction of TTCN-3 into the product development process : considerations from an electronic devices developer point of viewBOTTECK, Martin; DEISS, Thomas.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 4, pp 285-289, issn 1433-2779, 5 p.Article

Automating test automationPIETSCHKER, Andrej.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 4, pp 291-295, issn 1433-2779, 5 p.Article

From testing to anti-product developmentWARKEN, Markus.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 4, pp 297-307, issn 1433-2779, 11 p.Article

Test suite development with TTCN-3 librariesSCHULZ, Stephan.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 4, pp 327-336, issn 1433-2779, 10 p.Article

A case study-based comparison of web testing techniques applied to AJAX web applicationsMARCHETTO, Alessandro; RICCA, Filippo; TONELLA, Paolo et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 6, pp 477-492, issn 1433-2779, 16 p.Conference Paper